Buy Used and New Marieke Huisman Books

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... Proceedi (Lecture Notes in Computer Science)

by Dirk Beyer, Marieke Huisman

ISBN 13: 9783319899596

Format: Paperback (452 pages)
Publisher: Springer
Published: 12 Apr 2018

Save for later

Tools and Algorithms for the Construction and Analysis of Systems

by Bernhard Steffen, Fabrice Kordon, Marieke Huisman

ISBN 13: 9781013271212

Format: Hardcover (280 pages)
Publisher: Saint Philip Street Press
Published: 08 Oct 2020

Save for later